Section: New Software and Platforms
IBEX
pour le calcul ensembliste (calcul numérique garanti avec propagation rigoureuse d'incertitudes)
Keyword: Constraint Programming
Scientific Description
In 2014 the development on IBEX has focused on the following points:
Rejection test based on first-order conditions (see First Order Rejection Tests For Multiple-Objective Optimization, A. Goldsztejn et al. [42] ).
Q-intersection (see Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation, C. Carbonnel et al., AAAI 2014)
Functional Description
IBEX is a C++ library for solving nonlinear constraints over real numbers. The main feature of Ibex is its ability to build solver/paver strategies declaratively through the contractor programming paradigm. It also comes with a black-box solver and a global optimizer.